Structural Characterization of Controllability in Timed Continuous Petri Nets using Invariant Subspaces
نویسندگان
چکیده
منابع مشابه
On Controllability of Timed Continuous Petri Nets
Continuous Petri Nets is a subclass of hybrid models representing relaxed views of discrete events systems, in which timing may adopt different semantics. Even if no semantics is strictly superior, we proved in [1] that for an important subclass of models infinite server semantics provides always a better approximation of the underlying discrete model than finite server. This paper then concent...
متن کاملContinuous Petri nets: controllability and control
Controllability is a property related to the capability of driving a system to any desirable (steady) state or state trajectory. As in discrete nets, continuous nets can be controlled by means of control actions applied on the transitions. For the sake of generality, the set of transitions is partitioned into controllable and uncontrollable; control actions can be applied only on controllable t...
متن کاملAsymptotic Throughput of Continuous Timed Petri Nets
We set up a connection between ContinuousTimed Petri Nets (the fluid version of usual Timed Petri Nets) and Markov decision processes. We characterize the subclass of Continuous Timed Petri Nets corresponding to undiscounted average cost structure. This subclass satisfies conservation laws and shows a linear growth: one obtains as mere application of existing results for Dynamic Programming the...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2020.12.2527